$\forall$$s$:LOSet, $a$, $b$:$\mid$$s$$\mid$. ($\neg$($a$ $\leq$ $b$)) $\Leftarrow\!\Rightarrow$ ($b$ $<$$s$ $a$)